pragma Profile(Ravenscar);

with DataSpec;
use DataSpec;
with System;

package ProtectedEntry is

   protected type Event(Ceiling : System.Priority) is
      entry Wait(D : out Data);
      procedure Signal(D : in Data);
   private
      pragma Priority(Ceiling); 	-- Ceiling priority defined for each object
      Current : Data; 			-- Event data declaration
      Signalled : Boolean := False;
   end Event;

      Event_Object : Event(15);

end ProtectedEntry;
